theorem specification language
定理说明语言，定理规范语言
热门查询
- sepulchral adj. 阴森森的；坟墓的，丧葬的
- outgun vt. 武器多于；火力压过
- two-thirds n. 三分之二 三分之二的 三分之二地
- Sabatini [人名] 萨巴蒂尼
- cheeky adj. 无耻的；厚脸皮的
- Genoese n. 热那亚人；热那亚方言 adj. 热那亚的；热那亚人的
- built v. 建造（build的过去分词） adj. 身段优美的；…建成的
- inattentiveness 注意迟钝
- coho n. 相干振荡器；银大马哈鱼（等于coho salmon，原产于太平洋海域）
- unrevealing 未露出的（unrevealing是unreveal现在分词） 无结果的（unrevealing是unreveal现在分词）
- turbidity n. [分化] 浊度；浑浊；混浊度；混乱
- yellowed 变黄或发黄（yellow的过去式和过去分词）
- weekender n. 周末旅行者
- ADAMS n. 亚当斯（姓氏）
- profiteer n. [贸易] 奸商；牟取暴利的人 vi. 赚大钱；牟取暴利
- roosting n. 栖木；鸟窝；群栖的禽鸟 vi. 栖息；安歇 vt. 使…栖息；为…提供歇息处 n. (Roost)人名；(德)罗斯特
- survey n. 调查；测量；审视；纵览 vt. 调查；勘测；俯瞰 vi. 测量土地
- firehose n. 消防带
- some adj. 一些；某个；大约；相当多的 pron. 一些；若干；其中的一部分；（数量不确切时用）有些人 adv. 非常；相当；<美>稍微
- ulcerated adj. 得溃疡的；溃烂的 v. 溃烂（ulcerate的过去式和过去分词）
